21. Computer science handbook
پدیدآورنده : / editor-in-chief, Allen B. Tucker
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Computer science Handbooks, manuals, etc,Engineering Handbooks, manuals, etc
رده :
QA76
.
C54755
2004
22. Computer science handbook
پدیدآورنده : editor-in-chief, Allen B. Tucker
کتابخانه: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
موضوع : Computer science- Handbooks, manuals, etc,Engineering- Handbooks, manuals, etc
رده :
QA
,
76
,.
C547
23. Computing and philosophy :
پدیدآورنده : Vincent C. Müller, editor
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence-- Philosophy.,Computer science-- Philosophy.,Computer science-- Social aspects.
رده :
QA76
.
167
24. Computing handbook :
پدیدآورنده : edited by Teofilo Gonzalez, Jorge Díaz-Herrera ; editor-in-chief, Allen Tucker.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science -- Handbooks, manuals, etc.,Computer science.,Software engineering -- Handbooks, manuals, etc.
رده :
QA76
.
E358
9999
25. Computing handbook /
پدیدآورنده : editor-in-chief, Allen Tucker, Bowdoin College, Brunswick, Maine, USA.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science, Handbooks, manuals, etc.
رده :
QA76
.
C57315
2014
26. Cooperative bug isolation :
پدیدآورنده : Ben Liblit
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Reliability,Computers-- Reliability
27. Discrete and computational geometry : papers from the DIMACS Special Year
پدیدآورنده : Jacob E. Goodman, Richard Pollack, William Steiger, editors
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Data processing -- Congresses ، Geometry
رده :
QA
448
.
D38D58
28. DocEng'07 : proceedings of the 2007 ACM Symposium on Document Engineering, Winnipeg, Manitoba, Canada, August 28-31, 2007
پدیدآورنده : sponsored by ACM SIGWEB; in-cooperation with: SIGIR & SIGDOC; edited by Peter R. King & Steven J. Simske
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Text processing )Computer science(,Management -- Data processing -- Congresses ، Business records,Congresses ، XML )Document markup language(
رده :
QA
76
.
9
.
T48A3
2007
29. Doing physics :
پدیدآورنده : Martin H. Krieger
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Ethnology,Physicists,Physics-- Methodology,Physics-- Philosophy,Science-- Social aspects
رده :
QC29
.
K75
2012
30. Dynamics of Machinery
پدیدآورنده : / igHans Dresig, Franz Holzwei
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : CONTROL SYSTEMS|ENGINEERING, CIVIL|ENGINEERING, MECHANICAL|ENGINEERING, MULTIDISCIPLINARY|ROBOTICS& ENGINEERING (uncategorised)|AUTOMATION &COMPUTER SCIENCE
رده :
E-BOOK
31. Elements of Logical Reasoning
پدیدآورنده : / Jan von Plato
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, Symbolic and mathematical,Reasoning,MATHEMATICS -- Logic., bisacsh,منطق ریاضی,استدلال,ریاضیات -- منطق
رده :
QA9
.
V66
2013
32. Elements of logical reasoning /
پدیدآورنده : Jan von Plato
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical,Reasoning
رده :
QA9
.
V66
2013
33. Elsevier's dictionary of technical abbreviations in English and Russian /
پدیدآورنده : compiled by M. Rosenberg and S. Bobryakov.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Abbreviations, English, Dictionaries-- Russian.,English language, Dictionaries-- Russian.,Technology-- Abbreviations, Dictionaries.,Anglais (Langue), Dictionnaires russes.,Technologie-- Abréviations-- Dictionnaires.,Abbreviations, English.,English language.,TECHNOLOGY & ENGINEERING-- General.,Technology-- Abbreviations.
رده :
T8
.
R67
2005eb
34. Engineering for human-computer interaction : 8th IFIP International Conference, EHCI 2001, Toronto, Canada, May 11-13, 2001 : revised papers
پدیدآورنده : Murray Reed Little, Laurence Nigay )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Human-computer interaction
رده :
QA
76
.
L28
Vol
.
2254
35. Environmental engineering papers [electronic resource] :
پدیدآورنده : American Society of Naval Engineers.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Environmental engineering.,Environmental protection.,Marine pollution.
رده :
TA170
.
A447
2006
36. Erlang '10 :
پدیدآورنده : [Scott Lystig Fritchie, general chair ; Konstantinos Sagonas, program chair] ; sponsored by, ACM SIGPLAN ; co-located with, ICFP'10.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming, Congresses.,ERLANG (Computer program language), Congresses.,Computer programming.,Computer Science.,Engineering & Applied Sciences.,ERLANG (Computer program language)
رده :
QA76
.
73
.
E75
A36
2010eb
37. FMSE'05 : proceedings of the 2005 ACM Workshop on Formal Methods in Security Engineerign, November 11, 2005, Fairfax, Virginia, USA )co-located with CCS 2005(
پدیدآورنده : Ralf Kusters & John Mitchell, editors; sponsored by ACM Special Interest Group on Security, Audit & Control )SIGSAC(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer security,Congresses ، Formal methods )Computer science(
رده :
QA
76
.
9
.
A25A326
2005
38. FMSE'03 : proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA, October 30, 2003 : co-located with CCS'03
پدیدآورنده : edited by Michael Backes, David Basin & Michael Waidner
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer security,Congresses ، Formal methods )Computer science(
رده :
QA
76
.
9
.
A25A326
2003
39. FMSE'04 : proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering, Washington, DC, USA, October 29, 2004 : co-located with CCS 2004
پدیدآورنده : Sponsored by ACM SIGSAC; General co-chairs : Michael Backes, David Basin & Michael Waidner
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer security,Congresses ، Formal methods )Computer science(
رده :
QA
76
.
9
.
A25A326
2004